A proof in presence